Flavio Corradini: ძიება ვებგვერდზე Z-Library

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

Don't use scam websites

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 2.60 MB

0 / 0

english, 2010

2

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 2.49 MB

0 / 0

english, 2010

3

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 2.90 MB

0 / 0

english, 2010

4

Computazione e Calcolabilità

Computazione e Calcolabilità

Matteo Belenchia, Flavio Corradini, Michele Loreti

წელი:

2024

ენა:

italian

ფაილი:

PDF, 31.16 MB

0 / 4.5

italian, 2024

5

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 3.57 MB

0 / 0

english, 2010

6

Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer,Communication and Systems,SFM-RT 2004

Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer,Communication and Systems,SFM-RT 2004

Springer-Verlag

Marco Bernardo, Flavio Corradini, International School on Formal Methods for the Design of Computer, Communication and Software Systems, International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004

წელი:

2004

ენა:

English

ფაილი:

PDF, 159.90 MB

0 / 0

English, 2004

7

Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Springer International Publishing

Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese

წელი:

2019

ენა:

english

ფაილი:

PDF, 24.09 MB

0 / 0

english, 2019

8

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Springer-Verlag Berlin Heidelberg

Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 2.31 MB

0 / 0

english, 2004

9

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Springer-Verlag Berlin Heidelberg

Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 3.04 MB

0 / 0

english, 2004